Flow Characteristic Variations on Groyne Types for Aquatic Habitats

Characteristic Formulae for Session Types

Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language implementations. In this paper, we study effective ways to check whether a session type is a subtype of another by applying a characteristic formulae approach to the problem. Our core contribution is an algorithm to generate a modal μ-calculus formula that characterises all the superty...

Effect of pesticides on microbial communities in container aquatic habitats

Container aquatic habitats support a specialized community of macroinvertebrates (e.g. mosquitoes) that feed on microbial communities associated with decaying organic matter. These aquatic habitats are often embedded within and around agricultural lands and are frequently exposed to pesticides. We used a microcosm approach to examine the single and combined effects of two herbicides (atrazine, ...

Roof Types Visualization for Human Habitats Indicator

The objective of this paper is to show that the visualization of an urban landscape by 3D computer graphics can be used as indicators of human habitats on a worldwide basis when we think of a sustainable world in future. In the 1900s, in Japan, 2D digital urban maps became popular as commercial products such as automobile navigation map with GPS. They adopted the traditional map making techniqu...

Protostelids and myxomycetes isolated from aquatic habitats.

Protostelids and myxomycetes have been isolated from dead plant parts in many different habitats, including tropical rain forests and deserts. However underwater habitats largely have been overlooked. The purpose of this study was to determine whether protostelids do occur in aquatic habitats and to survey the myxomycetes associated with these habitats. Protostelids and myxomycetes were isolate...

Aquatic Insects: Bryophyte Habitats and Fauna